机译:适用于TCP,UDP和套接字的网络协议的严格规范和一致性测试技术
机译:在移动Ad hoc网络中实现原子读/写共享内存的基于模型的自启动和自检查一致性测试的产生。
机译:用于移动Ad hoc网络中实现原子读/写共享内存的基于Ibwards模型的自启动和自检一致性测试的生成。
机译:基于变质测试技术的网络模拟器一致性测试
机译:无需测试先兆即可检测应用程序中的缺陷的变形测试技术。
机译:基于模型的仿真器用于测试ARDS患者的机械通气的基于规则的决策支持系统。
机译:基于变形测试技术的网络模拟器一致性测试